- Gödelsche Arithmetisierung
- Геделевская арифметизация
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Paul Lorenzen — 1967 Paul Lorenzen[1] (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und … Deutsch Wikipedia